perm filename NAMES[ESS,JMC]2 blob
sn#017886 filedate 1972-12-26 generic text, type T, neo UTF8
00100 Keith Roberts
00200 Sierra Club
00300 626-1828
00400
00500 Nils Nilsson
00600 x2311 SRI
00700
00800 Walter Main, cycle thief
00900 328-8942
01000
01100 Norm Hardy
01200 (76)257-6550
01300
01400 Bill Verplank, Ass't Prof. ME
01500
01600 Irene Greif - wants summer job beginning June to beginning Sept.
01700 I suggested we might ask her to program on proof checkers. She
01800 would prefer to work on automatic theorem proving.
01900
02000 Robert Smith - Suppes thesis student whose oral
02100 committee I have agreed to be on. Oral in March or April.
02200
02300 John McKay - School of Computer Science, McGill University
02400 P.O. Box 6070, Montreal 101, P.Q. Canada
02500 home (514) 935 7079 - office 392 6731
02600
02700 RCA Communications -421 4200
02800
02900 Dr. Takayasu Ito
03000 Department of Information
03100 Central Research Laboratory
03200 Mitsubishi Corp.
03300 Amagasaki,Japan
03400 Home: 9-1-716 Daitoh-Cho
03500 Ashiya phone 0797-31-3696
03600
03700 John Salasin (202) 963-3003
03800 Room 5517 North
03900 HEW
04000 Washington, D.C. 20201
04100 Interested in data banks good and bad July 19 1972
04200
04300 James D. Burns
04400 1606 W. 14th Avenue
04500 Pine Bluff, Ark. 71601
04600 Wants to save the space program by
04700 financing the cancelled projects with
04800 space bonds.
04900
05000 Prof. F. J. Corbato
05100 545 Technology Square - Room 513
05200 Cambridge, Massachusetts 02139
05300 (617)253-6001
05400
05500 Don Greenspan
05600 U. of Wisc. colloquium chairman
05700 open invitation to give colloquium
05800
05900 Don Davis - Palo Alto artist who has made pictures of
06000 mars, phobos, lunar exploration. possible candidate to use
06100 heathkit for making pictures.
06200
06300 Dr. Peter Lykos
06400 Office of Computing Activities
06500 National Science Foundation
06600 (202) 632-5747